-
1 логическая эквивалентность
Большой англо-русский и русско-английский словарь > логическая эквивалентность
-
2 logical equivalence
Большой англо-русский и русско-английский словарь > logical equivalence
-
3 logical equivalence
English-Russian electronics dictionary > logical equivalence
-
4 logical equivalence
The New English-Russian Dictionary of Radio-electronics > logical equivalence
-
5 logical equivalence
English-Russian dictionary of computer science and programming > logical equivalence
-
6 logical equivalence
English-Russian information technology > logical equivalence
-
7 logical equivalence
Англо-русский словарь по исследованиям и ноу-хау > logical equivalence
-
8 logical equivalence
The English-Russian dictionary on reliability and quality control > logical equivalence
-
9 logical equivalence
English-Russian dictionary of electronics > logical equivalence
-
10 logical equivalence
-
11 equivalence
n эквивалентность, равноценность, равносильность, равнозначностьСинонимический ряд:1. equilibrium (noun) balance; equilibrium; equipoise; poise; self-control; self-possession; symmetry2. equivalency (noun) adequation; equality; equatability; equitability; equivalency; identity; par; parity; sameness; synonym -
12 statistical equivalence
-
13 algebraic equivalence
The English-Russian dictionary general scientific > algebraic equivalence
-
14 equivalence
1. эквивалентность2. эквивалентныйEnglish-Russian dictionary of Information technology > equivalence
-
15 gate
вентиль, логическая секция, которая при определенных условиях (логическая эквивалентность) может быть переставлена для оптимизации трассировки цепей на плате -
16 logical equivalence
Вычислительная техника: логическая эквивалентность -
17 logical equivalence
-
18 equivalence
логическая операция, проверяющая равенство операндов: А эквивалентно В тогда и только тогда, когда А и В одновременно истинны или одновременно ложныАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > equivalence
-
19 biconditional
вчтэквивалентность, эквиваленция ( логическая связка) -
20 biconditional
вчт.эквивалентность, эквиваленция ( логическая связка)The New English-Russian Dictionary of Radio-electronics > biconditional
См. также в других словарях:
Эквивалентность — В математике и логике: Отношение эквивалентности бинарное отношение. Эквиваленция (или материальная эквивалентность) логическая операция. Логическая эквивалентность отношение между высказываниями … Википедия
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
Логическая операция — в ЦВМ, поразрядная операция над кодами произвольной длины по правилам алгебры логики. Л. о. производится над всеми цифрами кодов одна и та же, при этом каждая цифра результата зависит не более чем от одной цифры одного или нескольких… … Большая советская энциклопедия
семантика логическая — СЕМАНТИКА ЛОГИЧЕСКАЯ раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа… … Энциклопедия эпистемологии и философии науки
ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П … Философская энциклопедия
Импликация — Импликация (лат. implicatio связь) бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую… … Википедия
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
Отношение эквивалентности — У этого термина существуют и другие значения, см. Эквивалентность. Отношение эквивалентности ( ) на множестве это бинарное отношение, для которого выполнены следующие условия: Рефлексивность: для любого в , Симметричность: если … Википедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
транзитивности закон — закон логики, согласно которому определенная логическая связь (импликация, эквивалентность и др.) представляет собой отношение транзитивности. Т. з. для условного высказывания (импликации) можно передать так: когда верно, что если первое, то… … Словарь терминов логики
Синонимия — (от греч. synönymia одноимённость) бинарное Отношение, в котором находятся любые два равнозначные, но не тождественные выражения; под равнозначностью понимается соотнесенность либо с одним и тем же денотатом (фактом, объектом и т. п.),… … Большая советская энциклопедия